1. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده : Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
2. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
3. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
4. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
5. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
6. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
7. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
8. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
9. Computer science Logic : 7th Workshop, CSL'93, Swansea, United Kingdom, September 13 - 17, 1993. Selected papers
پدیدآورنده : Egon Borger, Yuri Gurevich, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
832
10. Computer science logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science- Congresses,Logic, Symbolic and mathematical- Congresses
11. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
12. Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, ed.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1092
13. Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
75
.
5
.
W624
1991
14. Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings
پدیدآورنده : E. Borger...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
533
15. Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
پدیدآورنده : E. Brger...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
702
16. Computer science logic : 5th Workshop, CSL'91 : proceedings
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
626
17. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, )ed.(
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
18. Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, )ed.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
19. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
پدیدآورنده : / Dirk Van Dalen, Marc Bezem (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA75
,.
5
.
W62
20. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
پدیدآورنده : Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W624
1990
